home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 1.iso / ARGONET / PD / PROGRAMMING / LCLINT2.SPK / test / test_b / expect / spcclauses < prev    next >
Text File  |  1996-08-28  |  4KB  |  83 lines
  1.  
  2. specclauses.c: (in function f)
  3. specclauses.c:24,28: Only storage r.name (type char *) derived from variable
  4.                         declared in this scope is not released (memory leak)
  5. specclauses.c:28,24: Undefined storage r.name corresponds to storage listed in
  6.                         uses clause of called function: r
  7. specclauses.c:33,16: Allocated storage r.name corresponds to storage listed in
  8.                         defines clause of called function: &r
  9. specclauses.c:34,17: Only storage r.name (type char *) derived from variable
  10.                         declared in this scope is not released (memory leak)
  11. specclauses.c:40,23: Field r.name used after being released
  12.    specclauses.c:39,17: Storage r.name released
  13.  
  14. Finished LCLint checking --- 5 code errors found, as expected
  15.  
  16. specclauses2.c:12,2: Special clause allocates includes *<parameter 1>.year of
  17.                         non-dynamically allocatated type int
  18. specclauses2.c: (in function allocYear)
  19. specclauses2.c:14,2: Unallocated storage r->year corresponds to storage listed
  20.                         in allocates clause
  21. specclauses2.c: (in function setName1)
  22. specclauses2.c:26,2: Undefined storage r->name corresponds to storage listed in
  23.                         defines clause
  24. specclauses2.c: (in function setName3)
  25. specclauses2.c:37,2: Undefined storage r->name corresponds to storage listed in
  26.                         sets clause
  27.    This sub-reference is undefined: *(r->name)
  28. specclauses2.c: (in function setName4)
  29. specclauses2.c:42,3: Implicitly only storage r->name not released before
  30.                         assignment: r->name = name
  31. specclauses2.c: (in function allocName2)
  32. specclauses2.c:54,2: Unallocated storage r->name corresponds to storage listed
  33.                         in allocates clause
  34. specclauses2.c: (in function freeName2)
  35. specclauses2.c:65,2: Unreleased storage r.name corresponds to storage listed in
  36.                         releases clause
  37. specclauses2.c: (in function freeName4)
  38. specclauses2.c:76,2: Unreleased storage r->name corresponds to storage listed
  39.                         in releases clause
  40.  
  41. Finished LCLint checking --- 8 code errors found, as expected
  42.  
  43. specclauses3.c:7,6: Function result is used in defines clause of badResult but
  44.                        not annotated with special: *(result).name
  45. specclauses3.c:7,6: Special clause accesses field of non-struct or union result
  46.                        (int): *(result).name
  47. specclauses3.c: (in function badResult)
  48. specclauses3.c:12,10: Null storage returned as non-null: NULL
  49. specclauses3.c: (in function createName2)
  50. specclauses3.c:29,10: Undefined storage res->name corresponds to storage listed
  51.                          in defines clause: res
  52. specclauses3.c:29,10: Possibly null storage res returned as non-null: res
  53.    specclauses3.c:28,16: Storage res may become null
  54. specclauses3.c: (in function createName4)
  55. specclauses3.c:55,10: Unallocated storage res->name corresponds to storage
  56.                          listed in allocates clause: res
  57.  
  58. Finished LCLint checking --- 6 code errors found, as expected
  59.  
  60. specclauses4.c: (in function usename)
  61. specclauses4.c:13,4: Dereference of null pointer *name: **name
  62. specclauses4.c: (in function callname)
  63. specclauses4.c:27,12: Non-null storage *s corresponds to storage listed in
  64.                          pre:isnull clause of called function: s
  65. specclauses4.c: (in function nullname2)
  66. specclauses4.c:42,2: Non-null storage *name corresponds to storage listed in
  67.                         post:isnull clause
  68.  
  69. Finished LCLint checking --- 3 code errors found, as expected
  70.  
  71. specclauses5.c: (in function createrecord2)
  72. specclauses5.c:31,10: Null storage r->name derivable from return value: r
  73.    specclauses5.c:30,26: Storage r->name becomes null
  74. specclauses5.c: (in function newrecord2)
  75. specclauses5.c:43,10: Non-observer storage r->name corresponds to storage
  76.                          listed in post:observer clause: r
  77. specclauses5.c: (in function createrecordx)
  78. specclauses5.c:49,10: Observer storage r->name reachable from unqualified
  79.                          return value
  80.    specclauses5.c:48,27: Storage r->name becomes observer
  81.  
  82. Finished LCLint checking --- 3 code errors found, as expected
  83.